Skip to content

Attifunel multiple derivation techniques#714

Open
attifunel wants to merge 3 commits into
eclipse-score:mainfrom
etas-contrib:attifunel_multiple_derivation_techniques
Open

Attifunel multiple derivation techniques#714
attifunel wants to merge 3 commits into
eclipse-score:mainfrom
etas-contrib:attifunel_multiple_derivation_techniques

Conversation

@attifunel

Copy link
Copy Markdown
Contributor

Added clarification that more than a derivation technique can be used in a single test case

@github-actions

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

@pahmann pahmann left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems with your submission something was not properly set, as the ECA check fails. We need to figure out the root cause.

* :ref:`Equivalence Classes <ver_equivalence>`
* :ref:`Fuzzy Testing <ver_fuzzy>`

Note: more than a derivation technique can be used in a single test case

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Note: more than a derivation technique can be used in a single test case
Note: more than one derivation technique can be used in a single test case

Comment thread process/process_areas/verification/guidance/verification_process_reqs.rst Outdated
@pahmann

pahmann commented Jun 24, 2026

Copy link
Copy Markdown
Member

@attifunel you were using the wrong GitHub handle for your commits by contributing it with "fua1mi"

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants